42 research outputs found
Probabilistic hypergraph containers
Given a -uniform hypergraph and sufficiently large , we show that an -element set , chosen uniformly at random, with probability is either not independent or belongs to an almost-independent
set in which, crucially, can be constructed from carefully chosen
vertices of . With very little effort, this implies that if the
largest almost-independent set in is of size
then itself is an independent set with probability . More
generally, is very likely to inherit structural properties of
almost-independent sets in .
The value coincides with that for which Janson's inequality gives that
is independent with probability at most . On the one
hand, our result is a significant strengthening of Janson's inequality in the
range . On the other hand, it can be seen as a probabilistic variant
of hypergraph container theorems, developed by Balogh, Morris and Samotij and,
independently, by Saxton and Thomason. While being strictly weaker than the
original container theorems in the sense that it does not apply to all
independent sets of size , it is nonetheless sufficient for many
applications, admits a short proof using probabilistic ideas, and has weaker
requirements on .Comment: 11 pages. Comments are welcome
Completion and deficiency problems
Given a partial Steiner triple system (STS) of order , what is the order
of the smallest complete STS it can be embedded into? The study of this
question goes back more than 40 years. In this paper we answer it for
relatively sparse STSs, showing that given a partial STS of order with at
most triples, it can always be embedded into a complete
STS of order , which is asymptotically optimal. We also obtain
similar results for completions of Latin squares and other designs.
This suggests a new, natural class of questions, called deficiency problems.
Given a global spanning property and a graph , we define the
deficiency of the graph with respect to the property to be
the smallest positive integer such that the join has property
. To illustrate this concept we consider deficiency versions of
some well-studied properties, such as having a -decomposition,
Hamiltonicity, having a triangle-factor and having a perfect matching in
hypergraphs.
The main goal of this paper is to propose a systematic study of these
problems; thus several future research directions are also given